Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
201	Taming Wildcards in Java’s Type System ∗ Ross Tate Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2012-10-05 02:20:07 Object-oriented programming Computing Programming language theory Data types Java programming language Subtype polymorphism Type system Covariance and contravariance Inheritance Software engineering Type theory Polymorphism
202	Type Inference for Record Concatenation and Subtyping Jens Palsberg Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:20:33 Data types Theoretical computer science Formal languages Computing Object-oriented programming Obliq Subtype polymorphism Type system Concatenation Mathematics Software engineering Type theory
203	Automated Delegation is a Viable Alternative to Multiple Inheritance in Class Based Languages John Viega Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2000-02-16 10:22:44 Object-oriented programming Delegation Mixin Inheritance Objective-C Subtype polymorphism Multiple inheritance Class Interface Software engineering Computer programming Computing
204	PDF Document Add to Reading List Source URL: pdf.aminer.org Language: English - Date: 2011-10-18 13:55:26 Computing Data modeling Computer programming Type theory Subtype polymorphism Data model Polymorphism Database schema Object-Role Modeling Software engineering Object-oriented programming Data types
205	PDF Document Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-06 11:50:22 Computer programming Algebraic topology Functional programming Immutable object Subtype polymorphism Lambda calculus Test Sheaf Computing Software engineering Object-oriented programming
206	PDF Document Add to Reading List Source URL: www.jot.fm Language: English - Date: 2007-08-10 10:59:14 Mathematics Computing Object-oriented programming Models of computation Polymorphism Lambda calculus Type system Type safety Subtype polymorphism Type theory Software engineering Data types
207	PDF Document Add to Reading List Source URL: apotheca.hpl.hp.com Language: English - Date: 1997-01-02 15:29:05 Object-oriented programming Modula-3 Modula-2+ Modula-2 Abstraction Go Subtype polymorphism Jim Horning Interface Computing Software engineering Computer programming
208	PDF Document Add to Reading List Source URL: www.engr.mun.ca Language: English - Date: 2013-03-22 16:10:19 Theoretical computer science Type theory Women in technology Logic in computer science Liskov substitution principle Barbara Jane Liskov Subtype polymorphism Jeannette Wing Is-a Software engineering Object-oriented programming Computing
209	PDF Document Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2012-08-28 12:41:06 Logic Intuitionistic type theory Function Homotopy type theory Dependent type Interpretation Field Subtype polymorphism Lambda calculus Mathematical logic Mathematics Type theory
210	PDF Document Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-05-01 08:49:27 Object-oriented programming Type theory Data types Polymorphism Programming idioms Subtype polymorphism Type system Inheritance Multiple inheritance Software engineering Computing Computer programming

UPDATE